((v1 v2 4) (v1 v3 3) (v1 v4 7) (v1 v5 1) (v1 v6 4) (v1 v7 2))
62
((v3 v6) (v7 v1))